Constraint-Based Planning using the Process Specification Language
نویسنده
چکیده
A full account of the semantics of constraint-based planning in the Cyc KBS is presented. The constraint representation is generic as it makes use of a process representation ontology, the Process Specification Language, which is being developed as a standard by NIST. We also describe a planning graph algorithm that makes use of these constraints. These techniques allow modern, efficient planning techniques to be embedded into a large-scale KBS architecture, thereby re-combining two technologies that have diverged in recent research programmes. The relation between plan and process representation is also explored. keywords: knowledge representation techniques for planning; constraint reasoning for planning; process representation
منابع مشابه
Domain Recompilation-based Approach towards Hierarchical Task Network Planning with Constraints
In this paper, we present a domain recompilationbased approach towards specifying and handling state-trajectory constraints in Hierarchical Task Network (HTN) planning paradigm. The proposed constraint specification language is inspired by the PDDL3.0 constructs. The domain-recompilation technique is based on automata templates for the PDDL modal operators. To implement automata embedding we ha...
متن کاملA Constraint Model for the Settlers Planning Domain
The Settlers planning domain has proved a challenging problem for planning technology. We present a preliminary model of Settlers in the Essence’ specification language. We generate a constraint model for the CSP solver Minion using the automated modelling tool Tailor. We show this model to be competitive with state-of-the-art planning technology.
متن کاملSkill-Based Bimanual Manipulation Planning
The paper focuses on specification and utilization of manipulation skills to facilitate programming of bimanual manipulation tasks. Manipulation skills are actions to reach predefined goals. They constitute an interface between lowlevel constraint-based task specification and high level symbolic task planning. The task of the robot can be decomposed into subtasks that can be resolved using mani...
متن کاملTrajectory Planning Using High Order Polynomials under Acceleration Constraint
The trajectory planning, which is known as a movement from starting to end point by satisfying the constraints along the path is an essential part of robot motion planning. A common way to create trajectories is to deal with polynomials which have independent coefficients. This paper presents a trajectory formulation as well as a procedure to arrange the suitable trajectories for applications. ...
متن کاملA Specification and Validation Approach for Business Process Integration based on Web Services and Agents
. In this paper, we present a new approach for business processes integration. Our approach is based on interaction protocols that enable autonomous, distributed business process modules to integrate and collaborate. In our case, the business processes integration is modelled using AUML and specified using BPEL4WS. Furthermore and to increase the reliability of interaction protocols at design t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001